Verifying Influence Diagrams using Dimensional Analysis
نویسنده
چکیده
Developing a valid model is of primary importance. Various verification and validation procedures are used to establish confidence in the model output. To establish confidence that a model produces right behaviour for right reasons it is essential to ensure that the structure of model represents real world system. Amongst the verification procedures employed, dimensional analysis is used to verify the syntactical correctness of the equation. Despite of its significance, dimensional analysis is one of the less prioritised procedures used during model building process. Therefore lack of dimensional consistency raises serious doubts about the validity of model behaviour. The aim of this paper is to summarise various problems and difficulties identified in System Dynamics (SD) modelling process and to suggest an alternative approach. Firstly, this paper discusses various problems faced by beginners, which can lead to errors in SD models. Secondly, discusses alternative approaches suggested by researchers in SD. Thirdly this papers presents an approach to generate mathematical model from Influence Diagrams. There are two principle benefits this approach can offer: A software tool based on this approach, and improve SD modelling experience, especially of those modellers who have limited mathematical experience so as to gain benefits of quantitative SD modelling.
منابع مشابه
Verifying sequence diagrams using the process algebra CSP
We develop a verification tool for sequence diagrams named SD2CSP. It converts sequence diagrams to processes in CSP, so that existing model checking tool can verify them. We implemented the tool and conducted experiments with real world case studies.
متن کاملDiagram-Based Verification of Real-Time Systems using Timed Predicate Diagrams
Computers are frequently used in critical applications where predictable response times are essential for correctness. Such systems are called real-time systems and are a class of reactive systems. Many verification methods for verifying reactive systems were proposed, including diagram-based verification. One of diagrams used for reactive systems verification is predicate diagrams proposed by ...
متن کاملVeri cation of the MDG Components Library in HOL
The MDG system is a decision diagram based veri cation tool, primarily designed for hardware veri cation. It is based on Multiway decision diagrams|an extension of the traditional ROBDD approach. In this paper we describe the formal veri cation of the component library of the MDG system, using HOL. The hardware component library, whilst relatively simple, has been a source of errors in an earli...
متن کاملVeriication of the Mdg Components Library in Hol
The MDG system is a decision diagram based veriication tool, primarily designed for hardware veriication. It is based on Multiway decision diagrams|an extension of the traditional ROBDD approach. In this paper we describe the formal veriication of the component library of the MDG system, using HOL. The hardware component library, whilst relatively simple, has been a source of errors in an earli...
متن کاملThe influence of inelastic relaxation time on intrinsic spin Hall effects in a disordered two-dimensional electron gas
The influence of inelastic relaxation time on the intrinsic spin Hall effects in a disordered two-dimensional electron gas with Rashba interaction is studied; we clarify the controversy as regards impurity effects in the system. We reveal that, due to the existence of inelastic scattering, the spin Hall conductivity does not vanish when the impurity concentration diminishes to zero, regardless ...
متن کامل